1

Certifying circuits in Type Theory

Year:
2004
Language:
english
File:
PDF, 235 KB
english, 2004
2

Message composition based on concepts and goals

Year:
2008
Language:
english
File:
PDF, 854 KB
english, 2008